81. Computer Algebra :
پدیدآورنده: edited by Bruno Buchberger, George Edwin Collins, Rüdiger Loos.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Mathematics.
رده :
QA155
.
7
.
E4
E358
1982
82. Computer Arithmetic and self-Validating Numerical Methoods
پدیدآورنده: / edited by Christian Ullrich
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Computer Arithmetic congresses,Numerical Analysis congresses
رده :
QA
76
.
9
.
C62C663
1990
83. Computer Science and Statistics: Proceedings of the 13th Symposium on the Interface
پدیدآورنده: edited by William F. Eddy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Distribution (Probability theory).,Mathematics.,Statistics.
84. Computer arithmetic and self-validating numerical methods
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer arithmetic-- Congresses,، Numerical analysis-- Congresses
رده :
QA
76
.
9
.
C62
.
C663
1990
85. Computer-based Numerical and Statistical Techniques.
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Engineering mathematics-- Data processing.,Engineering mathematics-- Data processing.
رده :
TA345
.
G695
2007eb
86. Computing Qualitatively Correct Approximations of Balance Law
پدیدآورنده: / by Laurent Gosse
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematics,Differential equations, partial,Computer science, Mathematics,Engineering mathematics,Electronic books
رده :
E-BOOK
87. Computing and mathematical modeling
پدیدآورنده: / editors, K. Thangavel, P. Balasubramaniam
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Computer algorithms,Numerical analysis,Mathematical models,Mathematics -- Data processing
رده :
QA
76
.
9
.
A43
C674
2006
88. Computing for scientists and engineers :
پدیدآورنده: William J. Thompson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Engineering-- Data processing.,Numerical analysis-- Data processing.,Science-- Data processing.
رده :
QA297
.
T5
1992
89. Computing methods in applied science and engineering. International symposium, Versailles, December 17-21, 1973
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Mathematical analysis-- Congresses,، Numerical analysis-- Congresses,، Engineering mathematics-- Congresses
رده :
QA
300
.
C63
90. Computing with foresight and industry :
پدیدآورنده: Florin Manea, Barnaby Martin, Daniel Paulusma, Giuseppe Primiero, (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computable functions, Congresses.,Computer science-- Mathematics, Congresses.,Computable functions.,Computer science-- Mathematics.
رده :
QA9
.
59
.
C67
2019
91. Conditio
پدیدآورنده: / by Peter B?╝rgisser, Felipe Cucker
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematics,Computer science,Computer science, Mathematics,Algorithms,Mathematical optimization,Distribution (Probability theory),Electronic books
رده :
E-BOOK
92. Contributions to Quantitative Linguistics :
پدیدآورنده: edited by Reinhard Köhler, Burghard B. Rieger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computational linguistics.,Linguistics.
رده :
P138
.
E358
1993
93. Control and Optimization with PDE Constraint
پدیدآورنده: / edited by Kristian Bredies, Christian Clason, Karl Kunisch, Gregory Winckel
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematics,Differential equations, partial,Computer science, Mathematics,Numerical analysis,Mathematical optimization,Electronic books
رده :
E-BOOK
94. Cryptanalysis of Block Ciphers using Mixed-Integer Linear Programming
پدیدآورنده: IHAB SHAKIR,SHAKIR,
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Differential cryptanalysis, Linear Cryptanalysis, Mixed-Integer Linear Programming, MILP, AES,تحليل تفاضلی , تحلیل خطی , برنامه ریزی خطی milp , AES
95. Current Challenges in Stability Issues for Numerical Differential Equation
پدیدآورنده: / by Wolf-J?╝rgen Beyn, Luca Dieci, Nicola Guglielmi, Ernst Hairer, Jes??s Mar?ضa Sanz-Serna, Marino Zennaro
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematics,Matrix theory,Differential Equations,Differential equations, partial,Computer science, Mathematics,Algorithms,Electronic books
رده :
E-BOOK
96. Delaunay mesh generation /
پدیدآورنده: Siu-Wing Cheng, Tamal Krishna Dey, Jonathan Richard Shewchuk
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Nets (Mathematics),Numerical grid generation (Numerical analysis),Triangulation
رده :
QA611
.
3
.
C43
2013
97. Derivative Securities and Difference Method
پدیدآورنده: / by You-lan Zhu, Xiaonan Wu, I-Liang Chern, Zhi-zhong Sun
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematics,Differential equations, partial,Finance,Computer science, Mathematics,Numerical analysis,Electronic books
رده :
E-BOOK
98. Derivative Securities and Difference Methods
پدیدآورنده: by You-lan Zhu, Xiaonan Wu, I-Liang Chern.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics.,Finance.,Mathematics.,Numerical analysis.
99. Design and implementation of symbolic computation systems :
پدیدآورنده: John Fitch
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematics -- Data processing -- Congresses.,Numerical analysis -- Congresses -- Data processing.,System design -- Congresses.
100. Design and implementation of symbolic computation systems :
پدیدآورنده: A. Miola, (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematics-- Data processing, Congresses.,Numerical analysis-- Data processing, Congresses.,System design, Congresses.
رده :
QA76
.
9
.
S88
I576
1990
